Published in: Dagstuhl Reports, Volume 13, Issue 11 (2024)
Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, and Martin Desharnais. The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). In Dagstuhl Reports, Volume 13, Issue 11, pp. 130-150, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{bonacina_et_al:DagRep.13.11.130, author = {Bonacina, Maria Paola and Fontaine, Pascal and Nalon, Cl\'{a}udia and Schon, Claudia and Desharnais, Martin}, title = {{The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471)}}, pages = {130--150}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {11}, editor = {Bonacina, Maria Paola and Fontaine, Pascal and Nalon, Cl\'{a}udia and Schon, Claudia and Desharnais, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.11.130}, URN = {urn:nbn:de:0030-drops-198472}, doi = {10.4230/DagRep.13.11.130}, annote = {Keywords: artificial intelligence, automated reasoning, compositionality, deduction, logic} }
Published in: LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022)
Martin Desharnais, Petar Vukmirović, Jasmin Blanchette, and Makarius Wenzel. Seventeen Provers Under the Hammer. In 13th International Conference on Interactive Theorem Proving (ITP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 237, pp. 8:1-8:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{desharnais_et_al:LIPIcs.ITP.2022.8, author = {Desharnais, Martin and Vukmirovi\'{c}, Petar and Blanchette, Jasmin and Wenzel, Makarius}, title = {{Seventeen Provers Under the Hammer}}, booktitle = {13th International Conference on Interactive Theorem Proving (ITP 2022)}, pages = {8:1--8:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-252-5}, ISSN = {1868-8969}, year = {2022}, volume = {237}, editor = {Andronick, June and de Moura, Leonardo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.8}, URN = {urn:nbn:de:0030-drops-167178}, doi = {10.4230/LIPIcs.ITP.2022.8}, annote = {Keywords: Automatic theorem proving, interactive theorem proving, proof assistants} }
Feedback for Dagstuhl Publishing